Instance Verification Kit (IVK)

mutex lock @ [4788+45+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]
Instance Signature: i2c_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
s2250_probe [11461+11+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]
write_reg [3628+9+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]
write_reg_fp [4362+12+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]
write_regs [6317+10+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]
write_regs_fp [6580+13+/linux-3.17-rc1/drivers/media/usb/go7007/s2250-board.c]